Theoretische Informatik

Module	LV Type	CP	LV	Dates
Advanced Automata Theory	Fach-/Modulprüfung	6	505292
Algorithmic Foundations of Datascience	Fach-/Modulprüfung	6	504831
	Vorlesung		499606	Mo 16:30-18:00 AH II (2350\|111) (×12) Di 14:30-16:00 AH I (2350\|028) (×10) Mi 14:00-15:00 AH I (2350\|028) (×1) Fr 10:00-11:55 AH I (2350\|028) (×1)
	Übung		499585	Do 16:30-18:00 AH II (2350\|111) (×10)
Algorithmische Modelltheorie I	Fach-/Modulprüfung	8	508371
	Vorlesung		508160	Mo 12:30-14:00 AH II (2350\|111) (×13) Mi 12:30-14:00 AH I (2350\|028) (×11)
	Übung		508159	Do 16:30-18:00 IV (1010\|141) (×10)
Algorithmische Spieltheorie	Fach-/Modulprüfung	6	504867
Fixpoints and Induction in Logic and Computer Science	Fach-/Modulprüfung	6	502947
	Vorlesung		499722	Mo 10:30-12:00 5056 (2356\|056) (×12) Do 10:30-12:00 5056 (2356\|056) (×8)
	Übung		500485	Mo 16:30-18:00 5052 (2356\|052) (×11)
Formale Grundlagen von UML	Fach-/Modulprüfung	6	504883
Foundations of Functional Programming	Fach-/Modulprüfung	6	503629
	Übung		507758	Di 09:30-12:00 AH VI (2356\|051) (×1) Do 10:00-13:00 AH II (2350\|111) (×1) Fr 14:30-16:00 AH IV (2354\|030) (×1) Fr 14:30-16:00 AH V (2356\|050) (×10)
	Vorlesung		507759	Mo 16:30-18:00 AH V (2356\|050) (×10) Fr 10:30-12:00 AH V (2356\|050) (×10) Fr 14:30-16:00 AH V (2356\|050) (×1)
Foundations of Logic Programming	Fach-/Modulprüfung	6	504847
Graphzerlegungen und algorithmische Anwendungen	Fach-/Modulprüfung	6	505424
Höhere Algorithmik	Fach-/Modulprüfung	6	503468
Infinite Computations and Games	Fach-/Modulprüfung	6	502151
Introduction to Quantum Computing	Fach-/Modulprüfung	6	521255
	Vorlesung		520908	Mo 12:30-14:00 AH III (2350\|314.1) (×14) Fr 14:30-16:00 AH III (2350\|314.1) (×9)
	Übung		520909	Do 14:30-16:00 AH III (2350\|314.1) (×10)
Logics for Reasoning about Uncertainty	Fach-/Modulprüfung	4	501887
Machine Learning with Graphs: Foundations and Applications	Fach-/Modulprüfung	6	504053
Machine Learning with Graphs: Foundations and Applications	Vorlesung/Übung		500132	Mo 10:30-12:00 BS I (2131\|101) (×14) Do 10:30-12:00 R 5 (1080\|005) (×10) Fr 10:30-12:00 S02 (1385\|202) (×13)
Model Checking	Fach-/Modulprüfung	6	504841
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	502629
Modellierung und Analyse hybrider Systeme	Fach-/Modulprüfung	6	504842
Modellierung und Analyse hybrider Systeme	Vorlesung/Übung		508421	Di 12:30-14:00 AH II (2350\|111) (×12) Fr 10:30-12:00 AH III (2350\|314.1) (×12)
Near-term Quantum Computation	Fach-/Modulprüfung	6	521256
	Vorlesung		521236	Di 08:30-10:30 5056 (2356\|056) (×13) Do 08:30-09:15 R 140 (1080\|140) (×10) Do 08:30-09:15 R 5 (1080\|005) (×1)
	Übung		521237	Do 09:15-10:00 R 140 (1080\|140) (×10) Do 09:15-10:00 R 5 (1080\|005) (×1)
Online Algorithmen	Fach-/Modulprüfung	6	501993
Probabilistic Programming	Fach-/Modulprüfung	6	502019
	Vorlesung		508289	Mo 10:30-12:00 AH III (2350\|314.1) (×8) Di 12:30-14:00 AH V (2356\|050) (×7) Mi 16:30-18:00 AH III (2350\|314.1) (×2) Fr 10:30-12:00 AH II (2350\|111) (×1) Fr 14:30-16:00 AH II (2350\|111) (×1)
	Übung		508290	Di 12:30-14:00 AH V (2356\|050) (×2) Mi 16:30-18:00 AH III (2350\|314.1) (×7)
Provenance Analysis and Semiring Semantics for Logics and Games	Fach-/Modulprüfung	4	504735
	Vorlesung		508156	Di 14:30-16:00 AH II (2350\|111) (×13)
Quantum Computing	Fach-/Modulprüfung	4	502153
Rekursionstheorie	Fach-/Modulprüfung	6	502497
Semantik und Verifikation von Software	Fach-/Modulprüfung	6	504774
Statische Programmanalyse	Fach-/Modulprüfung	6	501813
	Vorlesung		508294	Mo 10:30-12:00 AH II (2350\|111) (×9) Di 10:30-12:00 AH II (2350\|111) (×11)
	Übung		508293	Fr 10:30-12:00 AH II (2350\|111) (×8)
The Graph Isomorphism Problem	Fach-/Modulprüfung	6	503291
Theory of Constraint Satisfaction Problems	Fach-/Modulprüfung	6	504758
Theory of Distributed and Parallel Systems	Fach-/Modulprüfung	6	501685